2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Kamal Abdali
Автор:
A Lambda-Calculus Model of Programming Languages
, Автор:
I: Simple Constructs
, Автор:
J. Computer Languages
, Автор:
Vol. 1 (1976)
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
Размер книги: 4.33 Mb
Transitive Closure and Related Properties via Eliminants, Theor. Comp. Sci V40 No. 2,3 (1985)
Автор:
Kamal Abdali
, Автор:
David Sauders
Категория:
Paper
,
Algebra
,
Semiring
,
Transitive Closure
Размер книги: 73 Kb
A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)
Автор:
Kamal Abdali
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
Размер книги: 4.61 Mb
Special Series Summation with Arbitrary Precision, Comm. ACM, Vol. 13, No. 9 (1970)
Автор:
Kamal Abdali
Категория:
paper
,
series summation
,
arbitrary precision
,
spigot algorithm
Размер книги: 137 Kb
Parallel Computations in *-Semirings, Computational Algebra, Marcel Dekker (1994)
Автор:
Kamal Abdali
Категория:
paper
,
semirings
,
transitive closure
,
parallel computation
Размер книги: 140 Kb
Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm, ISSAC 1989
Автор:
David Saunders
, Автор:
Hing Lee
, Автор:
Kamal Abdali
Категория:
paper
,
cylindrical algebraic decomposition parallel algorithms
Размер книги: 193 Kb
A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973
Автор:
Kamal Abdali
Категория:
paper
,
programming language semantics
,
lambda calculus
,
combinator calculus
Размер книги: 2.04 Mb
